@BOOK{Das_j2005, author = {J{\"u}rgen~Dassow}, title = {{Logik f{\"u}r Informatiker}}, publisher = {B.\,G. Teubner}, year = 2005, isbn = {3-519-00518-2}, url = {http://www.teubner.de/index.php;do=show/sid=d1f08f3b5f6161249943bd2e48e6de28/site=t/book_id=6727} }